typed language - translation to Αγγλικά
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

typed language - translation to Αγγλικά

SET OF RULES THAT ASSIGN A PROPERTY CALLED TYPE TO VARIOUS CONSTRUCTS A COMPUTER PROGRAM CONSISTS OF, SUCH AS VARIABLES, EXPRESSIONS, FUNCTIONS OR MODULES
Dynamic typing; Static typing; Type systems; Type checking; Type-checking; Dynamically typed; Statically typed language; Dynamically typed language; Typed language; Dynamically-typed; Statically typed; Compile-time type checking; Statically-typed; Dynamicly typed; Dynamic data typing; Typed (programming languages); Static-typing (programming languages); Typechecker; Type checker; Type-checker; Static type; Static types; Type equivalence; Statically typed programming language; Statically-typed programming language; Dynamically-typed language; Existential type; Existential types; Type error; Typing discipline; Static type system; Optional typing; Typechecking; Static type-checking; Static type checking; Runtime type checking; Run-time type checking; Dynamic type checking; Optional type systems; Computational type system; Unified type system; Optional static typing; Dynamic type

typed language         

общая лексика

язык с контролем типов, типизированный язык

вычислительная техника

язык символический

Смотрите также

data type; programming language; type conversion

type checking         

общая лексика

контроль типов, проверка соответствия типов

Смотрите также

data type; strong typing

type error         
ошибка при наборе

Ορισμός

Английский язык

относится к западногерманской группе индоевропейских языков. На А. я. говорят и пользуются в государственном делопроизводстве, литературе и науке около 200 млн. чел. - в Великобритании и Ирландии (наряду с ирландским), в США, Канаде (наряду с французским), Австралии, Новой Зеландии, частично в Южной Африке и Индии. Один из пяти официальных и рабочих языков, принятых ООН. А. я. ведёт своё начало от языка древнегерманских племён (англов, саксов и ютов), переселившихся в 5-6 веках с континента в Британию. Сложное взаимодействие древнегерманских племенных наречий, принесённых в Британию, населённую кельтскими племенами (бриттами и гэлами), и развивавшихся в условиях формирования английской народности, привело к образованию территориальных диалектов на старой племенной основе. В древнеанглийский период (7-11 вв.) язык представлен четырьмя диалектами: нортумбрийским, мерсийским, уэссексским и кентским. Благодаря экономическому и политическому влиянию Уэссексского королевства в 9-10 вв. в культурной жизни Англии наибольшее значение приобрёл уэссексский диалект. После проникновения в Англию в 6 в. христианства латинский алфавит заменил древнегерманские руны, и влияние латинского языка отразилось на английской лексике. Из языка покорённого англосаксами кельтского населения Британии сохранились главным образом географические названия. Набеги скандинавов (конец 8 в.), закончившиеся подчинением Англии в 1016 датскому королю, обусловили создание скандинавских поселений в стране. Взаимодействие близкородственных языков - английского и скандинавских - сказалось в наличии в современном А. я. значительного количества слов скандинавского происхождения, а также некоторых фонетических особенностей, характеризующих диалекты северной Англии. Смешение со скандинавскими языками способствовало усилению и ряда грамматических тенденций, имевшихся в А. я. Завоевание Англии норманнами в 1066 привело к длительному периоду двуязычья, когда А. я., имевший три основных территориальных диалекта (северный, центральный и южный), сохранялся как язык народа, но государственным языком считался французский язык Длительное употребление его при королевском дворе, в парламенте, суде и школе привело к тому, что после вытеснения французского языка из этих сфер (к 14 в.) в А. я. сохранились обширные пласты французской лексики.

В процессе образования нации происходило формирование национального А. я., складывавшегося на основе лондонского диалекта, который сочетал в себе южные и восточно-центральные диалектные черты. Во 2-й половине 13 и 1-й половине 14 вв. замечается вытеснение южных диалектных черт из языка Лондона и замена их особенностями восточно-центрального диалекта. Среднеанглийский период (12-15 вв.) развития А. я. характеризуется рядом изменений, резко отграничивших среднеанглийскую звуковую систему от древнеанглийской. Поскольку все флексии были безударными, редукция неударных гласных сказалась и на значительном упрощении морфологической структуры А. я. Введение в Англии книгопечатания (1476) способствовало закреплению и распространению лондонских форм, чему немало помогла популярность произведений крупного писателя Дж. Чосера (1340-1400), писавшего на лондонском диалекте. Однако книгопечатание фиксировало некоторые традиционные написания, уже не отражавшие норм произношения конца 15 в. Т. о., началось столь характерное для современного А. я. расхождение между произношением и написанием. В 16-17 вв. складывается т. н. новоанглийский язык. Научные и философские произведения стали писаться на английском, а не на латинском языке, а это потребовало развития терминологии. Источниками пополнения явились заимствования из латинского и греческого, отчасти из итальянского и испанского, а в 17 в. из французского языков. В области грамматики современный А. я. характеризуется аналитическим строем, т. е. такой структурой, при которой основными средствами выражения грамматических значений являются порядок слов и служебные слова, показывающие отношения между словами или группами слов.

Во 2-й половине 17 в. и особенно в 18 в. издаётся множество руководств по орфоэпии (См. Орфоэпия) и нормативных грамматик, авторы которых стремятся упорядочить грамматические нормы языка: одни - на основе рациональной грамматики, другие - исходя из живого употребления форм языка. Пуристическое течение 18 в. (Дж. Свифт, Дж. Аддисон) было направлено против проникновения в лит. А. я. неологизмов разговорного типа (например, усечённых слов) и излишних заимствований. Колониальная экспансия Англии в 17-19 вв. обусловила распространение А. я. за пределами Великобритании и привела к возникновению некоторых региональных отличий, главным образом в лексике. Отличия американского варианта А. я. от британского (см. Американизмы) можно объяснить тем, что первые поселенцы в Северной Америке (1607) прибыли из Лондона и его окрестностей, а позднейшие были выходцами главным образом из северной Великобритании и Ирландии. В языке США нет столь ярко выраженных диалектов, как в Великобритании. На основе выходящего под редакцией профессора Х. Курата (Н. Kurath) "Лингвистического атласа США и Канады" (1939) выделяют семь диалектов, в том числе диалект центральной и западной областей США - самый значительный по территории распространения; он считается в США основой литературной нормы (General American). Различие между американским и британским вариантами А. я. больше всего сказывается в лексике и в некоторой степени в фонетике; отличия в грамматике незначительны. При большом количестве новообразований в лексике А. я. США словообразовательные модели также остаются общими с А. я. Великобритании.

Лит.: Торсуев Г. П., Фонетика английского языка, М., 1950; Ярцева В. Н., Историческая морфология английского языка, М.- Л., 1960; её же. Исторический синтаксис английского языка, М.-Л., 1961; Гальперин И. P., Очерки по стилистике английского языка, М., 1958; Ильиш Б. А., Современный английский язык, 2 изд., М., 1948; Смирницкий А. И., Древнеанглийский язык, М., 1955; его же, Лексикология английского языка, М., 1956; Бруннер К., История английского языка, пер. с нем., т. 1-2, М., 1955 - 56; Мюллер В. К., Англо-русский словарь, 13 изд., М., 1967; Русско-английский словарь, под ред. проф. Р. К. Даглиша, М., 1967; Кунин А. В., Англо-русский фразеологический словарь, [кн.] 1-2, 3 изд., М., 1967; Jespersen О., A modern English grammar, pt 1-6, 4 ed., Heidelberg - L., 1928-42; WyId H. C., A history of modern colloquial English, 3 ed., Oxf., 1936; Halliday М., Mc Intosh A., Stevens P., The linguistic sciences and language teachning, L., 1965; Webster's third new international dictionary of the English language, v. 1-2, L., 1961; Fowler H. W., A dictionary of modern English usage, 2 ed., Oxf., 1965.

В. Н. Ярцева.

Βικιπαίδεια

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term. Type systems formalize and enforce the otherwise implicit categories the programmer uses for algebraic data types, data structures, or other components (e.g. "string", "array of float", "function returning boolean").

Type systems are often specified as part of programming languages and built into interpreters and compilers, although the type system of a language can be extended by optional tools that perform added checks using the language's original type syntax and grammar. The main purpose of a type system in a programming language is to reduce possibilities for bugs in computer programs due to type errors. The given type system in question determines what constitutes a type error, but in general, the aim is to prevent operations expecting a certain kind of value from being used with values for which that operation does not make sense (validity errors). Type systems allow defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This checking can happen statically (at compile time), dynamically (at run time), or as a combination of both. Type systems have other purposes as well, such as expressing business rules, enabling certain compiler optimizations, allowing for multiple dispatch, and providing a form of documentation.

Μετάφραση του &#39typed language&#39 σε Ρωσικά